Skip to content

Comments

ci: generate from api 0.19.718#200

Merged
nuonbot merged 1 commit intomainfrom
nuonbot/generate-from-api-0.19.718
Dec 12, 2025
Merged

ci: generate from api 0.19.718#200
nuonbot merged 1 commit intomainfrom
nuonbot/generate-from-api-0.19.718

Conversation

@nuonbot
Copy link
Contributor

@nuonbot nuonbot commented Dec 12, 2025

ci: generate from api 0.19.718

@nuonbot nuonbot added the auto-merge Automatically merge this PR if it passes all PR checks. label Dec 12, 2025
@nuonbot nuonbot enabled auto-merge (squash) December 12, 2025 16:07
@nuonbot nuonbot merged commit 4c6255f into main Dec 12, 2025
5 checks passed
@nuonbot nuonbot deleted the nuonbot/generate-from-api-0.19.718 branch December 12, 2025 16:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

auto-merge Automatically merge this PR if it passes all PR checks.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant